Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
006C34 | Simon Colton [Royaume-Uni] ; Andreas Meier [Allemagne] ; Volker Sorge [Royaume-Uni] ; Roy Mccasland [Royaume-Uni] | Automatic Generation of Classification Theorems for Finite Algebras |
009E60 | Volker Sorge [Allemagne] | Non-trivial Symbolic Computations in Proof Planning |
This area was generated with Dilib version V0.6.33. |